Previous year metric space theorem